Curr Cardiovasc Risk Rep:1–8 DOIs12170DIABETES AND INSULIN RESISTANCE (M RUTTER, SECTION EDITOR) Text Mining Supporting Search for Knowledge Discovery

Source URL: www.nactem.ac.uk

• Computational linguistics
• Data mining
• RTT
• National Centre for Text Mining
• School of Computer Science
• University of Manchester
• Biological databases
• Text mining
• PubMed
• Biomedical text mining
• National Center for Biotechnology Information
• Unified Medical Language System
• Diabetes

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Logic in computer science
• Computability theory
• Algebraic topology
• Substitution
• Unification
• Lambda calculus
• Sheaf
• Scheme
• Combinatory logic
• Morphism of algebraic varieties

In: Journal of Logic, Language and Information, Counterfactuals and updates as inverse modalities Mark Ryan School of Computer Science. University of Birmingham, Birmingham B15 2TT,

Source URL: www.cs.bham.ac.uk

What’s There to Talk About? A Multi-Modal Model of Referring Behavior in the Presence of Shared Visual Information Darren Gergle Human-Computer Interaction Institute School of Computer Science

Source URL: dgergle.soc.northwestern.edu

On the Feasibility of Large-Scale Infections of iOS Devices Tielei Wang, Yeongjin Jang, Yizheng Chen, Simon Chung, Billy Lau, and Wenke Lee School of Computer Science, College of Computing, Georgia Institute of Technolog

Source URL: wenke.gtisc.gatech.edu

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Source URL: www.cs.bham.ac.uk

Spam Filtering for Short Messages Gordon V. Cormack School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1, CANADA

Source URL: plg.uwaterloo.ca

• Spam filtering
• Spamming
• Computing
• Cyberspace
• Software
• Anti-spam techniques
• Bogofilter
• Email spam
• Mobile phone spam
• Bag-of-words model
• Email
• Spam

Applied pi calculus∗ Mark D. Ryan and Ben Smyth School of Computer Science, University of Birmingham, United Kingdom July 2010

Source URL: www.bensmyth.com

Towards a Sybil-resilient reputation metric for P2P applications Tien Tuan Anh Dinh, Mark Ryan School of Computer Science, University of Birmingham, United Kingdom {ttd,mdr}@cs.bham.ac.uk Abstract In this paper, we propo

Source URL: www.cs.bham.ac.uk

EATCS General Assembly 2015 Luca Aceto School of Computer Science, Reykjavik University Kyoto, 7 July 2015, 17:30

Source URL: icetcs.ru.is